Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses
نویسندگان
چکیده
منابع مشابه
Constitutive Model Selection Based on Deterministic and Probabilistic Analyses
Effective predictive models of the strength of skeletal structures require a detailed and realistic description of bone geometry, material properties, and boundary conditions, as well as incorporation of the variability and uncertainty inherent in musculoskeletal systems. As part of a larger effort towards developing predictive models of clinical fracture, we developed a phenomenological consti...
متن کاملProbabilistic and Non-deterministic Semantics for Iterative Programs
In this paper probabilistic and non-deterministic programs are considered on the ground of logic of programs. We are interested in dependencies between nondeterministic and probabilistic interpretation of a program. The formal definitions of probabilistic and non-deterministic semantics are the starting point for our considerations. The emphasis is on differences in expressibility the halting p...
متن کاملProbabilistic Analyses of Tender Uncertainties
At a tender in the Netherlands the contract is in general awarded to the contractor with the lowest bid. For the owner an engineering firm’s cost estimate should be a good forecast of the bids in the tender. The amount of spread needed around the mean of the cost estimate and its position with respect to the average bid determine the performance of an estimator. An owner would select a well per...
متن کاملResource Requirements for ABR Explicit Rate Flow Control: Deterministic and Probabilistic Analyses
ATM Available Bit Rate (ABR) service is intended to o er low cell loss for nonreal-time data sources that can respond to closed-loop ow control. ATM Forum Tra c Management Speci cation Version 4.0 de nes the various parameters used in the ABR ow control, as well as the source, destination, and switch behaviors. However, the switch designers and service providers are free to choose the method of...
متن کاملLimitations of the entomological operational risk assessment using probabilistic and deterministic analyses.
The Entomological Operational Risk Assessment (EORA) is used by the U.S. military to estimate risks posed by arthropod-vectored pathogens that produce human diseases. Our analysis demonstrated that the EORA matrix is formatted so that a small change in probability results in a discontinuous jump in risk. In addition, we show the overlap of different risk categories with respect to their probabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.312.4